PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.9.33 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-07-27 19:53:14
hourdayweektotal
59139910327303160
Elapsed time: 2.37884s